Strict logic

Strict logic is essentially synonymous with relevant logic, though it can be characterized proof-theoretically as

• ordinary logic without weakening, or
• linear logic with contraction.

See also

• Substructural logic